退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:在交互式定理证明中嵌入命令式同步语言
K. Schneider; Universität Karlsruhe;
机译:Matita交互式定理证明中编程语言的形式元理论
机译:命令式同步语言中的时钟优化
机译:指定在分布式嵌入式环境中使用的命令式编程语言的限制
机译:证明定理的方法指导形式断言的开发以及将其嵌入高级VLSI综合系统中。
机译:分段线性嵌入的一些定理
机译:Matita交互式定理证明器中编程语言的形式元理论
机译:在命令式编程语言中嵌入用于数据转换操作的非命令式编程语言
机译:具有反射功能的交互式定理证明工具的方法和系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。